% Fold 1

example(e303).
example(e357).
example(e477).
example(e42).
example(e559).
example(e677).
example(e645).
example(e475).
example(e535).
example(e468).
example(e123).
example(e154).
example(e93).
example(e171).
example(e556).
example(e449).
example(e401).
example(e482).
example(e354).
example(e437).
example(e679).
example(e285).
example(e399).
example(e73).
example(e445).
example(e261).
example(e62).
example(e398).
example(e49).
example(e416).
example(e173).
example(e523).
example(e115).
example(e564).
example(e350).
example(e219).
example(e417).
example(e111).
example(e495).
example(e537).
example(e459).
example(e51).
example(e673).

% Fold 2

example(e246).
example(e474).
example(e515).
example(e1).
example(e405).
example(e545).
example(e617).
example(e267).
example(e669).
example(e7).
example(e476).
example(e170).
example(e182).
example(e298).
example(e379).
example(e335).
example(e513).
example(e665).
example(e108).
example(e652).
example(e533).
example(e215).
example(e204).
example(e290).
example(e302).
example(e378).
example(e557).
example(e113).
example(e254).
example(e82).
example(e178).
example(e507).
example(e334).
example(e570).
example(e316).
example(e19).
example(e99).
example(e630).
example(e465).
example(e269).
example(e442).
example(e404).
example(e411).
example(e393).
example(e263).


% Fold 3

example(e369).
example(e599).
example(e632).
example(e176).
example(e226).
example(e47).
example(e291).
example(e522).
example(e596).
example(e372).
example(e432).
example(e160).
example(e15).
example(e297).
example(e282).
example(e430).
example(e383).
example(e165).
example(e145).
example(e90).
example(e396).
example(e550).
example(e181).
example(e208).
example(e105).
example(e352).
example(e403).
example(e355).
example(e2).
example(e166).
example(e510).
example(e574).
example(e162).
example(e628).
example(e678).
example(e23).
example(e461).
example(e670).
example(e544).
example(e478).


% Fold 4

example(e634).
example(e277).
example(e186).
example(e676).
example(e621).
example(e397).
example(e587).
example(e244).
example(e55).
example(e502).
example(e591).
example(e392).
example(e54).
example(e579).
example(e209).
example(e218).
example(e580).
example(e266).
example(e590).
example(e69).
example(e87).
example(e656).
example(e554).
example(e187).
example(e561).
example(e247).
example(e429).
example(e635).
example(e653).
example(e143).
example(e408).
example(e22).
example(e189).
example(e101).
example(e153).
example(e400).
example(e542).


% Fold 5

example(e666).
example(e161).
example(e135).
example(e328).
example(e3).
example(e366).
example(e529).
example(e309).
example(e112).
example(e358).
example(e305).
example(e363).
example(e612).
example(e412).
example(e24).
example(e71).
example(e77).
example(e13).
example(e296).
example(e198).
example(e313).
example(e98).
example(e668).
example(e659).
example(e532).
example(e341).
example(e283).
example(e207).
example(e259).
example(e25).
example(e531).
example(e79).
example(e33).
example(e553).
example(e68).
example(e214).

% Fold 6

example(e141).
example(e239).
example(e541).
example(e158).
example(e132).
example(e200).
example(e137).
example(e92).
example(e27).
example(e682).
example(e340).
example(e191).
example(e300).
example(e667).
example(e428).
example(e136).
example(e53).
example(e450).
example(e614).
example(e342).
example(e44).
example(e177).
example(e190).
example(e526).
example(e310).
example(e21).
example(e627).
example(e9).
example(e276).
example(e174).
example(e237).
example(e569).
example(e278).
example(e581).
example(e426).
example(e494).
example(e58).
example(e578).
example(e245).
example(e36).
example(e270).
example(e637).
example(e365).

% Fold 7


example(e169).
example(e455).
example(e629).
example(e606).
example(e364).
example(e304).
example(e563).
example(e644).
example(e110).
example(e356).
example(e609).
example(e577).
example(e646).
example(e128).
example(e311).
example(e484).
example(e555).
example(e238).
example(e167).
example(e251).
example(e224).
example(e91).
example(e655).
example(e329).
example(e641).
example(e546).
example(e520).
example(e493).
example(e188).
example(e85).
example(e626).
example(e509).
example(e84).
example(e367).

% Fold 8

example(e681).
example(e384).
example(e662).
example(e649).
example(e360).
example(e648).
example(e213).
example(e490).
example(e284).
example(e149).
example(e547).
example(e687).
example(e530).
example(e382).
example(e222).
example(e636).
example(e133).
example(e95).
example(e512).
example(e601).
example(e142).
example(e483).
example(e32).
example(e425).
example(e152).


% Fold 9

example(e78).
example(e440).
example(e289).
example(e435).
example(e619).
example(e281).
example(e227).
example(e423).
example(e452).
example(e252).
example(e72).
example(e508).
example(e373).
example(e470).
example(e639).
example(e217).
example(e618).
example(e433).
example(e336).
example(e45).
example(e549).
example(e374).
example(e233).
example(e456).
example(e463).
example(e568).
example(e271).
example(e193).
example(e319).
example(e292).
example(e387).
example(e572).
example(e410).
example(e317).
example(e419).
example(e593).
example(e528).
example(e516).
example(e312).
example(e638).
example(e307).
example(e624).

% Fold 10
/*
example(e210).
example(e97).
example(e35).
example(e511).
example(e595).
example(e83).
example(e225).
example(e607).
example(e64).
example(e126).
example(e548).
example(e194).
example(e52).
example(e330).
example(e61).
example(e448).
example(e67).
example(e148).
example(e684).
example(e451).
example(e232).
example(e134).
example(e338).
example(e273).
example(e647).
example(e480).
example(e327).
example(e10).
example(e571).
example(e443).
example(e585).
example(e199).
example(e260).
example(e122).
example(e202).
example(e195).
example(e76).
example(e658).
*/